Addendum to ‘Galois representations on holomorphic differentials’. In section §2 of [3]we presented a proof, in a modern algebraic geometry style, of a multiplicity

In section §2 of [3]we presented a proof, in a modern algebraic geometry style, of a multiplicity formula originally due to C. Chevalley and A. Weil [1]( see also A. Weil [4]). Unknown to us at the time, a proof very similar to ours had already been obtained in [2]§3, as a particular case of a more general result. We are grateful to Professor B. Erez for having brought this latter reference to our attention.